Mathematical Explanation: A Contextual Approach

PurposeIn this article, we aim to present and defend a contextual approach to mathematical explanation.MethodTo do this, we introduce an epistemic reading of mathematical explanation.ResultsThe epistemic reading not only clarifies the link between mathematical explanation and mathematical understanding, but also allows us to explicate some contextual factors governing explanation. We then show how several accounts of mathematical explanation can be read in this approach.ConclusionThe contextual approach defended here clears up the notion of explanation and pushes us towards a pluralist vision on mathematical explanation

Mathematical proofs in practice: revisiting the reliability of published mathematical proofs

Mathematics seems to have a special status when compared to other areas of human knowledge. This special status is linked with the role of proof. Mathematicians often believe that this type of argumentation leaves no room for errors and unclarity. Philosophers of mathematics have differentiated between absolutist and fallibilist views on mathematical knowledge, and argued that these views are related to whether one looks at mathematics-in-the-making or finished mathematics. In this paper we take a closer look at mathematical practice, more precisely at the publication process in mathematics. We argue that the apparent view that mathematical literature, given the special status of mathematics, is highly reliable is too naive. We will discuss several problems in the publication process that threaten this view, and give several suggestions on how this could be countered

Varicellovirus UL 49.5 proteins differentially affect the function of the transporter associated with antigen processing, TAP

Cytotoxic T-lymphocytes play an important role in the protection against viral infections, which they detect through the recognition of virus-derived peptides, presented in the context of MHC class I molecules at the surface of the infected cell. The transporter associated with antigen processing (TAP) plays an essential role in MHC class I–restricted antigen presentation, as TAP imports peptides into the ER, where peptide loading of MHC class I molecules takes place. In this study, the UL49.5 proteins of the varicelloviruses bovine herpesvirus 1 (BHV-1), pseudorabies virus (PRV), and equine herpesvirus 1 and 4 (EHV-1 and EHV-4) are characterized as members of a novel class of viral immune evasion proteins. These UL49.5 proteins interfere with MHC class I antigen presentation by blocking the supply of antigenic peptides through inhibition of TAP. BHV-1, PRV, and EHV-1 recombinant viruses lacking UL49.5 no longer interfere with peptide transport. Combined with the observation that the individually expressed UL49.5 proteins block TAP as well, these data indicate that UL49.5 is the viral factor that is both necessary and sufficient to abolish TAP function during productive infection by these viruses. The mechanisms through which the UL49.5 proteins of BHV-1, PRV, EHV-1, and EHV-4 block TAP exhibit surprising diversity. BHV-1 UL49.5 targets TAP for proteasomal degradation, whereas EHV-1 and EHV-4 UL49.5 interfere with the binding of ATP to TAP. In contrast, TAP stability and ATP recruitment are not affected by PRV UL49.5, although it has the capacity to arrest the peptide transporter in a translocation-incompetent state, a property shared with the BHV-1 and EHV-1 UL49.5. Taken together, these results classify the UL49.5 gene products of BHV-1, PRV, EHV-1, and EHV-4 as members of a novel family of viral immune evasion proteins, inhibiting TAP through a variety of mechanisms

Randomised controlled trial of first-line tyrosine-kinase inhibitor (TKI) versus intercalated TKI with chemotherapy for EGFR-mutated nonsmall cell lung cancer

Introduction Previous studies have shown interference between epidermal growth factor receptor (EGFR) tyrosine kinase inhibitors and chemotherapy in the cell cycle, thus reducing efficacy. In this randomised controlled trial we investigated whether intercalated erlotinib with chemotherapy was superior compared to erlotinib alone in untreated advanced EGFR-mutated nonsmall cell lung cancer (NSCLC). Materials and methods Treatment-naïve patients with an activating EGFR mutation, ECOG performance score of 0–3 and adequate organ function were randomly assigned 1:1 to either four cycles of cisplatin-pemetrexed with intercalated erlotinib (day 2–16 out of 21 days per cycle) followed by pemetrexed and erlotinib maintenance (CPE) or erlotinib monotherapy. The primary end-point was progression-free survival (PFS). Secondary end-points were overall survival, objective response rate (ORR) and toxicity. Results Between April 2014 and September 2016, 22 patients were randomised equally into both arms; the study was stopped due to slow accrual. Median follow-up was 64 months. Median PFS was 13.7 months (95% CI 5.2–18.8) for CPE and 10.3 months (95% CI 7.1–15.5; hazard ratio (HR) 0.62, 95% CI 0.25–1.57) for erlotinib monotherapy; when compensating for number of days receiving erlotinib, PFS of the CPE arm was superior (HR 0.24, 95% CI 0.07–0.83; p=0.02). ORR was 64% for CPE versus 55% for erlotinib monotherapy. Median overall survival was 31.7 months (95% CI 21.8–61.9 months) for CPE compared to 17.2 months (95% CI 11.5–45.5 months) for erlotinib monotherapy (HR 0.58, 95% CI 0.22–1.41 months). Patients treated with CPE had higher rates of treatment-related fatigue, anorexia, weight loss and renal toxicity. Conclusion Intercalating erlotinib with cisplatin-pemetrexed provides a longer PFS compared to erlotinib alone in EGFR-mutated NSCLC at the expense of more toxicity

Semiautomatic Assessment of the Terminal Ileum and Colon in Patients with Crohn Disease Using MRI (the VIGOR++ Project)

Rationale and Objectives: The objective of this study was to develop and validate a predictive magnetic resonance imaging (MRI) activity score for ileocolonic Crohn disease activity based on both subjective and semiautomatic MRI features. Materials and Methods: An MRI activity score (the “virtual gastrointestinal tract [VIGOR]” score) was developed from 27 validated magnetic resonance enterography datasets, including subjective radiologist observation of mural T2 signal and semiautomatic measurements of bowel wall thickness, excess volume, and dynamic contrast enhancement (initial slope of increase). A second subjective score was developed based on only radiologist observations. For validation, two observers applied both scores and three existing scores to a prospective dataset of 106 patients (59 women, median age 33) with known Crohn disease, using the endoscopic Crohn's Disease Endoscopic Index of Severity (CDEIS) as a reference standard. Results: The VIGOR score (17.1 × initial slope of increase + 0.2 × excess volume + 2.3 × mural T2) and other activity scores all had comparable correlation to the CDEIS scores (observer 1: r = 0.58 and 0.59, and observer 2: r = 0.34–0.40 and 0.43–0.51, respectively). The VIGOR score, however, improved interobserver agreement compared to the other activity scores (intraclass correlation coefficient = 0.81 vs 0.44–0.59). A diagnostic accuracy of 80%–81% was seen for the VIGOR score, similar to the other scores. Conclusions: The VIGOR score achieves comparable accuracy to conventional MRI activity scores, but with significantly improved reproducibility, favoring its use for disease monitoring and therapy evaluation

Cross-Border Dissemination of Methicillin-Resistant Staphylococcus aureus, Euregio Meuse-Rhin Region

MRSA clones were associated with hospital-associated clonal complexes and with Panton-Valentine leukocidin–positive community-associated MRSA

Zu den Wurzeln der Modernen Architektur, Teil I

Modern emerging technologies, such as additive manufacturing, bioprinting, and new material production, require novel metrology tools to probe fundamental high-speed dynamics happening in such systems. Here we demonstrate the application of the megahertz (MHz) European X-ray Free-Electron Laser (EuXFEL) to image the fast stochastic processes induced by a laser on water-filled capillaries with micrometer-scale spatial resolution. The EuXFEL provides superior contrast and spatial resolution compared to equivalent state-of-the-art synchrotron experiments. This work opens up new possibilities for the characterization of MHz stochastic processes on the nanosecond to microsecond time scales with object velocities up to a few kilometers per second using XFEL sources

Moderators of Exercise Effects on Cancer-related Fatigue:A Meta-analysis of Individual Patient Data

PURPOSE: Fatigue is a common and potentially disabling symptom in patients with cancer. It can often be effectively reduced by exercise. Yet, effects of exercise interventions might differ across subgroups. We conducted a meta-analysis using individual patient data of randomized controlled trials (RCT) to investigate moderators of exercise intervention effects on cancer-related fatigue. METHODS: We used individual patient data from 31 exercise RCT worldwide, representing 4366 patients, of whom 3846 had complete fatigue data. We performed a one-step individual patient data meta-analysis, using linear mixed-effect models to analyze the effects of exercise interventions on fatigue (z score) and to identify demographic, clinical, intervention- and exercise-related moderators. Models were adjusted for baseline fatigue and included a random intercept on study level to account for clustering of patients within studies. We identified potential moderators by testing their interaction with group allocation, using a likelihood ratio test. RESULTS: Exercise interventions had statistically significant beneficial effects on fatigue (β = -0.17; 95% confidence interval [CI], -0.22 to -0.12). There was no evidence of moderation by demographic or clinical characteristics. Supervised exercise interventions had significantly larger effects on fatigue than unsupervised exercise interventions (βdifference = -0.18; 95% CI -0.28 to -0.08). Supervised interventions with a duration ≤12 wk showed larger effects on fatigue (β = -0.29; 95% CI, -0.39 to -0.20) than supervised interventions with a longer duration. CONCLUSIONS: In this individual patient data meta-analysis, we found statistically significant beneficial effects of exercise interventions on fatigue, irrespective of demographic and clinical characteristics. These findings support a role for exercise, preferably supervised exercise interventions, in clinical practice. Reasons for differential effects in duration require further exploration